Discovery of the Double Exponential Transformation and Its Developments

This article is mainly concerned how the double exponential formula for numerical integration was discovered and how it has been developed thereafter. For evaluation of I = ∫ 1 −1 f(x)dx H. Takahasi and M. Mori took advantage of the optimality of the trapezoidal formula over (−∞,∞) with an equal mesh size and proposed in 1974 x = φ(t) = tanh( 2 sinh t) as an optimal choice of variable transformation which transforms the original integral to I = ∫∞ −∞ f(φ(t))φ ′(t)dt. If the trapezoidal formula is applied to the transformed integral and the resulting infinite summation is properly truncated a quadrature formula I ≈ h ∑n k=−n f(φ(kh))φ ′(kh) is obtained. Its error is expressed as O(exp(−CN/ logN)) as a function of the number N (= 2n+ 1) of function evaluations. Since the integrand decays double exponentially after the transformation it is called the double exponential (DE) formula. It is also shown that the formula is optimal in the sense that there is no quadrature formula obtained by variable transformation whose error decays faster than O(exp(−CN/ logN)) as N becomes large. Since the paper by Takahasi and Mori was published the DE formula has gradually come to be used widely in various fields of science and engineering. In fact we can find papers in which the DE formula is successfully used in the fields of molecular physics, fluid dynamics, statistics, civil engineering, financial engineering, in particular in the field of the boundary element method, and so on. The DE transformation has turned out to be also useful for evaluation of indefinite integrals, for solution of integral equations and for solution of ordinary differential equations, so that the scope of its applications is expected to spread also in the future. Communicated by H. Okamoto. Received November 25, 2004. 2000 Mathematics Subject Classification(s): 01-08, 41A55, 65-03, 65R10, 65R20 ∗Department of Mathematical Sciences, Tokyo Denki University, Hatoyama, Hiki-gun, Saitama, 350-0394 Japan. c © 2005 Research Institute for Mathematical Sciences, Kyoto University. All rights reserved.